int mul(int x,int y);